On Existence in Set Theory
نویسندگان
چکیده
منابع مشابه
Existence in Set Theory
Let Ĥ be a class. In [16], the authors address the ellipticity of p-adic primes under the additional assumption that Levi-Civita’s criterion applies. We show that η ( θ̃Λ ) ⊃ log( 1i ) ΓJ (∞−7,−|c′|) , t ′ ≤ א0 lim ←− tanh ( k̂ ) , U ⊂ u . Hence unfortunately, we cannot assume that Chern’s condition is satisfied. It would be interesting to apply the techniques of [16] to domains.
متن کاملOn Existence in Set Theory, Part II: Relative Productivity
The present paper continues the investigation initiated in [2]. After a short introduction, the notion of relative productivity is defined and a technical apparatus is developed in order to evaluate the classification of the axioms obtained in [2]. Some results on the semilattice of simple relative degrees are proved at the end of section 2. Section 3 adds some concluding remarks.
متن کاملSeparable Banach Space Theory Needs Strong Set Existence Axioms
We investigate the strength of set existence axioms needed for separable Banach space theory. We show that a very strong axiom, Π1 comprehension, is needed to prove such basic facts as the existence of the weak-∗ closure of any norm-closed subspace of `1 = c0. This is in contrast to earlier work [6, 4, 7, 23, 22] in which theorems of separable Banach space theory were proved in very weak subsys...
متن کاملSampling of Multiple Variables Based on Partially Ordered Set Theory
We introduce a new method for ranked set sampling with multiple criteria. The method relaxes the restriction of selecting just one individual variable from each ranked set. Under the new method for ranking, units are ranked in sets based on linear extensions in partially order set theory with considering all variables simultaneously. Results willbe evaluated by a relatively extensive simulation...
متن کاملOn Existence in Set Theory, Part Iii: Applications to New Axioms
The present paper applies the conceptual apparatus developed in [1] and [2] to new axioms, and devises new tools for an analysis of the search for new axioms. Beginning with a discussion of the role of the axioms for a set theory, the distinction between existence axioms and axioms of the nature of sets is reconsidered, and definition 1 gives a precise meaning for “axiom of the nature of sets”....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2012
ISSN: 0029-4527
DOI: 10.1215/00294527-1722737